1281. Theory of Markets :
پدیدآورنده : by Bertrand M. Roehner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Economics.,Regional economics.
1282. Theory of computational complexity /
پدیدآورنده : Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.
رده :
QA267
.
7
.
D8
2014eb
1283. Theory of proofs
پدیدآورنده : Open University
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O6
1284. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
1285. Thomas Reid and 'The Way of Ideas'
پدیدآورنده : by Roger D. Gallie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Genetic epistemology.,Philosophy (General),Reid, Thomas, -- 1710-1796.
رده :
B1537
.
B976
1989
1286. Time series with mixed spectra
پدیدآورنده : Ta-Hsin Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : MATHEMATICS -- Applied.,Spectrum analysis.,Time-series analysis.
رده :
QA280
.
T347
2014
1287. Time travel and warp drives :
پدیدآورنده : Allen Everett and Thomas Roman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Space and time,Time travel
رده :
QC173
.
59
.
S65
E94
2012
1288. Tome 1 Philosophie du langage, Logique philosophique / Volume 1 Philosophy of language, Philosophical logic
پدیدآورنده : edited by Guttorm Fløistad, G.H. Wright.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Philosophy (General)
1289. Topics in non-commutative probability theory with applications to statistical mechanics
پدیدآورنده : Katavolos, Aristides
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics
1290. Topology and analysis :
پدیدآورنده : B. Booss; D.D. Bleecker. Transl. by D.D. Bleecker and A. Mader.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Analysis.,Gauge-Theorie.,Topologie.
رده :
QA329
.
B366
1989
1291. Torsions of 3-dimensional Manifolds
پدیدآورنده : by Vladimir Turaev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cell aggregation-- Mathematics.,Global analysis.,Mathematics.,Topology.
1292. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
1293. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
1294. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
1295. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
1296. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
1297. Tracking reason :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
1298. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
1299. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
1300. Transition to Analysis with Proof
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Textbooks,Mathematical analysis -- Textbooks,آن‍ال‍ی‍ز ریاضی -- کتاب‌های درسی
رده :
E-Book
,
